Metalanguage in Carroll's "Jabberwocky" and Biggs's reRead

Musical Jabberwocky ?

Imagine a game in which you are asked to listen to a few musical selections, some of which are human compositions and some of which were created by a computer algorithm. Your job is to discriminate between the two, in what amounts to a musical Turing test. This is precisely the way in which David Cope ends the first chapter of his book Virtual Music: Computer Synthesis of Musical Style, invitin...

A Cumulative Monadic Metalanguage

We introduce a monadic metalanguage which combines two previously proposed monadic metalanguages: one for staging and the other for value recursion. The metalanguage includes also extensible records as a basic name management facility.

The Metalanguage λProlog and Its Implementation

Patterns for Maude Metalanguage Applications

One of the most effective ways of improving the quality of software engineering, system design and development, and communication between the people concerned with these problems, is provided by software patterns. In this paper we present a set of basic patterns for Maude metalanguage applications. We show the viability of the defined patterns by comparing them to the developing approaches for ...

A Tiny Specification Metalanguage

A logic programming language with potential software engineering benefit is described. The language is intended as a specification language where the user specifies software functionality while ignoring efficiency. The goals of the language are: (1) a pure specification language – “what, not how”, (2) small size, and (3) a metalanguage – able to imitate and thus subsume other languages. The lan...